TAGs: Inequalities rules pdf